12 research outputs found
An Imprecise Probability Approach for Abstract Argumentation based on Credal Sets
Some abstract argumentation approaches consider that arguments have a degree
of uncertainty, which impacts on the degree of uncertainty of the extensions
obtained from a abstract argumentation framework (AAF) under a semantics. In
these approaches, both the uncertainty of the arguments and of the extensions
are modeled by means of precise probability values. However, in many real life
situations the exact probabilities values are unknown and sometimes there is a
need for aggregating the probability values of different sources. In this
paper, we tackle the problem of calculating the degree of uncertainty of the
extensions considering that the probability values of the arguments are
imprecise. We use credal sets to model the uncertainty values of arguments and
from these credal sets, we calculate the lower and upper bounds of the
extensions. We study some properties of the suggested approach and illustrate
it with an scenario of decision making.Comment: 8 pages, 2 figures, Accepted in The 15th European Conference on
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU
2019
Logic, Probability and Action: A Situation Calculus Perspective
The unification of logic and probability is a long-standing concern in AI,
and more generally, in the philosophy of science. In essence, logic provides an
easy way to specify properties that must hold in every possible world, and
probability allows us to further quantify the weight and ratio of the worlds
that must satisfy a property. To that end, numerous developments have been
undertaken, culminating in proposals such as probabilistic relational models.
While this progress has been notable, a general-purpose first-order knowledge
representation language to reason about probabilities and dynamics, including
in continuous settings, is still to emerge. In this paper, we survey recent
results pertaining to the integration of logic, probability and actions in the
situation calculus, which is arguably one of the oldest and most well-known
formalisms. We then explore reduction theorems and programming interfaces for
the language. These results are motivated in the context of cognitive robotics
(as envisioned by Reiter and his colleagues) for the sake of concreteness.
Overall, the advantage of proving results for such a general language is that
it becomes possible to adapt them to any special-purpose fragment, including
but not limited to popular probabilistic relational models
Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies
International audienc
Representations of Uncertainty in AI: Beyond Probability and Possibility
International audienceThis chapter completes the survey of the existing frameworks for representing uncertain and incomplete information, started in the previous chapter of this volume. The theory of belief functions and the theory of imprecise probabilities are presented. The latter setting is mathematically more general than the former, and both include probability theory and quantitative possibility theory as particular cases. Their respective knowledge representation capabilities are highlighted